Information on monads and functional programming

Belief networks, dynamic trees, image models, image processing, probabilistic methods in astronomy, scientific data mining, Gaussian processes and Hopfield neural networks.

University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.

University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.

University of Edinburgh - Category theory, domain theory, logic, type theory.

University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.

University of Aberdeen - Natural language front ends; formal properties of linguistic formalisms; semantic interpretation of English sentences, particularly temporal semantics; modelling of verbal humour.

Phil Wadler's thoughts on Erlang.

A library of tools for constructing maximum entropy (maxent) model in either python or C++. Some program features are L-BFGS and GIS parameter estimation, and gaussian prior smoothing. [GPL]

University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation.